תגית: מערכות הוכחה

4 פוסטים

• 2013-11-14

  רזולוציה - איך אפשר להוכיח שאי אפשר?

• 2013-02-23

  מערכת הוכחה ללוגיקה מסדר ראשון

• 2011-03-17

  אז מה זה IP=PSPACE?

• 2009-09-19

  משפט ה-PCP או: איך למדתי להפסיק לדאוג ולאהוב הוכחות הניתנות לבדיקה הסתברותית

← חזרה לכל התגיות